Coalgebraic automata theory: Basic results

机译：Coalgebraic自动机理论：基本结果

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Clemens Kupke; Yde Venema;
展开▼
作者单位

展开▼
年度 2012
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Coalgebraic Automata Theory: Basic Results [J] . ClemensKupke, YdeVenema Logical Methods in Computer Science . 2008,第4期

机译：凝聚态自动机理论：基本结果
2. Coalgebraic Theory of Büchi and Parity Automata: Fixed-Point Specifications, Categorically (Invited Tutorial) [J] . Ichiro Hasuo LIPIcs : Leibniz International Proceedings in Informatics . 2018,第29期

机译：布奇和奇偶校验自动机的合并代数理论：定点规范，分类（特邀教程）
3. Coalgebraic Theory of Büchi and Parity Automata: Fixed-Point Specifications, Categorically (Invited Tutorial) [J] . Ichiro Hasuo LIPIcs : Leibniz International Proceedings in Informatics . 2018,第2期

机译：布奇和奇偶校验自动机的合并代数理论：定点规范，分类（特邀教程）
4. Logic and Automata: A Coalgebraic Perspective [C] . Yde Venema International conference on coalgebraic methods in computer science;European joint Conferences on Theory and Practice of Software . 2020

机译：逻辑与自动机：结合论
5. Coalgebraic Automata and Canonical Models of Moore Machines. [D] . Cordy, Brendan. 2009

机译：摩尔机的凝聚代数自动机和典范模型。
6. On the basic reproduction number and the topological properties of the contact network: An epidemiological study in mainly locally connected cellular automata [O] . P.H.T. Schimit, L.H.A. Monteiro -1

机译：关于接触网的基本繁殖数和拓扑特性：主要在局部连接的细胞自动机中的流行病学研究
7. Coalgebraic automata theory : basic results [O] . Kupke, Clemens, Venema, Yde 2008

机译：凝聚态自动机理论：基本结果
8. Coalgebraic Automata Theory: Basic Results [R] . Kupke, C. A., Venema, Y. 2007

机译：核代自动机理论：基本结果

Coalgebraic automata theory: Basic results

著录项

引文网络

相似文献

相关主题

期刊订阅